整数规划转化为线性规划